“ECHELON” X SEGURANÇA NACIONAL

X Congreso Nacional De Universidades Cobija-pando Comité Ejecutivo De La Universidad Boliviana Secretaria Nacional De Postgrado - Ceub

Conselho Nacional De Saúde

Echelon analysis

Echelon Form

In this work we present the formalization of an algorithm to compute the Echelon Form of a matrix. We have proved its existence over Bezout domains and we have made it executable over Euclidean domains, such as Z and K[x]. This allows us to compute determinants, inverses and characteristic polynomials of matrices. The work is based on the HOL-Multivariate Analysis library, and on both the Gauss...

Uma Ontologia para Gestão de Segurança da Informação

This article presents some problems of knowledge management in management information security organizations and suggests ontologies as part of solving these problems. The article describes the construction of a specific ontology for information security using the methodology NeOn and discusses the use of this ontology in the management information security environment. Resumo. Este artigo apre...